Retrofitting Linear Types